<!-- VIATRA2 Description part -->
<h2>VIATRA2 Project - Archive Contents</h2>
<div id="rightcolumn" class="frontpage">
    ~~INCUBATION~~
</div>
<div id="introText" style="margin-right: 300px;">
    <h3 style="clear: none">Project Overview</h3>
    <p>The main objective of the VIATRA2 (VIsual Automated model
        TRAnsformations) framework is to provide a general-purpose support for
        the entire life-cycle of engineering model transformations including
        the specification, design, execution, validation and maintenance of
        transformations within and between various modeling languages and
        domains.</p>
    <p>VIATRA2 intends to complement existing model transformation
        frameworks in providing</p>

    <ul>
        <li>a <a href="https://wiki.eclipse.org/VIATRA2/Model_Space"
                 title="VIATRA2 Model Space"> model space</a> for uniform
            representation of models and metamodels
        </li>
        <li>a <a
                 href="https://wiki.eclipse.org/VIATRA2/Transformation_Language"
                 title="VIATRA2 Transformation Language"> transformation language</a>
            with
            <ul>
                <li>both declarative and imperative features</li>
                <li>based upon popular formal mathematical techniques of <i>graph
                    transformation (GT)</i> and <i>abstract state machines (ASM)</i>

                </li>
            </ul>
        </li>
        <li>a high performance transformation engine
            <ul>
                <li>supporting <b>incremental model transformations</b>
                </li>
                <li>trigger-driven <b>live transformations</b> where complex
                    model changes may trigger execution of transformations
                </li>
                <li>handling well over 100,000 model elements (see our <a
                                                                          href="https://wiki.eclipse.org/VIATRA2/Benchmarks" class="new"
                                                                          title="VIATRA2 Benchmarks"> benchmarks</a>)

                </li>
            </ul>
        </li>
        <li>with main <a
                         href="https://wiki.eclipse.org/VIATRA2/Target_Application_Domains"
                         title="Target Application Domains"> target application domains</a> in
            <ul>
                <li>model-based tool integration framework</li>
                <li>model analysis transformations</li>
            </ul>
        </li>
    </ul>
    <p>Further issues frequently asked by users:</p>
    <ul>
        <li><a
               href="https://wiki.eclipse.org/VIATRA2/Standard_Conformance"
               title="Standard Conformance of VIATRA2"> Conformance to standards</a></li>
        <li><a href="https://wiki.eclipse.org/VIATRA2/Known_Uses"
               title="VIATRA2 Known Uses"> Known uses of VIATRA2</a></li>
    </ul>

</div>

<div id="downloads">

    <h3>VIATRA2 Downloads</h3>
    <p>
    <h4>VIATRA2 v3.3.0</h4>
    VIATRA2 v3.3.0 is the last released version of VIATRA2. Using this is
    strongly recommended over any previous version you might have. The
    milestone notes are found <a
                                 href="http://wiki.eclipse.org/VIATRA2/ReleaseNotes3.3">here</a>.
    <ul>
        <li>Update site: <code>http://download.eclipse.org/viatra2/updates/release/</code>
        </li>
        <li>The update site is downloadable as <a href=" http://www.eclipse.org/downloads/download.php?file=/viatra/updates/org.eclipse.viatra2.update-3.3.0-incubation.zip">a zip file</a></li>
        <li>You can use the following official update
            site URL to get the latest version: <code>http://download.eclipse.org/viatra2/updates/integration/</code></li>
        <li>You can also use the
            following secondary update site URL to get the latest nightly
            version: <code>http://viatra.inf.mit.bme.hu/update/viatra-ci/</code>.
            <strong>Warning</strong>: This site also contains VIATRA2-specific
            content that is not validated using the Eclipse IP process.</li>
    </ul>
</div>

<div id="documentation">
    <h3>VIATRA2 Documentation</h3>
    <p>
        Currently, the VIATRA2 Documentation consists of the following documents:
    <ul>
        <li>
            <h4>VIATRA2 Documentation</h4>
            For current Milestones (3.x), a completely new documentation has been established at the <a href="http://wiki.eclipse.org/VIATRA2">VIATRA2 Wiki</a>.<br/>
            It contains both the users guide and the most up-to-date documentation of the VIATRA2 transformation language.
            You should start here.
        </li>
        <li>
            <h4>The VIATRA2 Transformation Language Specification [obsolete]</h4>
            The document describes the VIATRA2 Transformation Command Language in detail. A VIATRA2 transformation
            consists of graph pattern definitions (Section 3) defined by precise formal semantics (Section 4), and
            control structures (Section 5).<br/>
            The language specification is archived in PDF format from <a href="ViatraSpecification.pdf">here.</a>
        </li>
        <li>
            <h4>Users' Guide [obsolete]</h4>
            The Users' Guide offered a description of the user interface (which is completely superseded by the wiki),
            howtos for writing model importers and native functions, and a by-example section to get you started
            with writing VIATRA transformations.<br/>
            Archived in PDF from <a href="viatratut.pdf">here</a>.
        </li>

    </ul>
    </p>
</div>
